A categorical view of varieties of ordered algebras
نویسندگان
چکیده
Abstract It is well known that classical varieties of $\Sigma$ -algebras correspond bijectively to finitary monads on $\mathsf{Set}$ . We present an analogous result for ordered -algebras, is, categories algebras presented by inequations between -terms. prove they strongly $\mathsf{Pos}$ That those which preserve reflexive coinserters. deduce have a coinserter presentation, the coequalizer presentation due Kelly and Power. also show these are liftings Finally, equations proved extensions
منابع مشابه
Semi-linear Varieties of Lattice-Ordered Algebras
We consider varieties of pointed lattice-ordered algebras satisfying a restricted distributivity condition and admitting a very weak implication. Examples of these varieties are ubiquitous in algebraic logic: integral or distributive residuated lattices; their {·}-free subreducts; their expansions (hence, in particular, Boolean algebras with operators and modal algebras); and varieties arising ...
متن کاملamenability of banach algebras
chapters 1 and 2 establish the basic theory of amenability of topological groups and amenability of banach algebras. also we prove that. if g is a topological group, then r (wluc (g)) (resp. r (luc (g))) if and only if there exists a mean m on wluc (g) (resp. luc (g)) such that for every wluc (g) (resp. every luc (g)) and every element d of a dense subset d od g, m (r)m (f) holds. chapter 3 inv...
15 صفحه اولQuasivarieties and varieties of ordered algebras: regularity and exactness
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularity, exactness and the existence of a suitable generator. The notions of regularity and exactness need to be understood in the sense of category theory enriched over posets. We also prove that finitary varieties of ordered algebras are cocompletions of their theories under sifted colimits (again, i...
متن کاملCategorical properties of regular partially ordered pure monomorphisms
Let a family of monomorphisms in the category A To study mathematical notions in a category A, such as injectivity, tensor products, flatness, with respect to a class M of its (mono)morphisms, one should know some of the categorical properties of the pair (A ,M ). In this paper we take A to be thecategory Pos-S of S-partially ordered sets and to be a particular class o...
متن کاملAlgebras Defined from Ordered Sets and the Varieties they Generate
We investigate ways of representing ordered sets as algebras and how the order relation is reflected in the algebraic properties of the variety (equational class) generated by these algebras. In particular we consider two different but related methods for constructing an algebra with one binary operation from an arbitrary ordered set with a top element. The two varieties generated by all these ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2022
ISSN: ['1469-8072', '0960-1295']
DOI: https://doi.org/10.1017/s0960129521000463